natural deduction
[ˈnætʃərəl dɪˈdʌkʃən]
n. 自然演绎 [网络] 自然演绎法；自然推理
n. 自然演绎 [网络] 自然演绎法；自然推理
热门查询
- meanwhile adv. 同时，其间 n. 其间，其时
- gaul n. 高卢（位于欧洲西部）；高卢人
- salvific adj. 救苦救难的；有意救人的
- number plate n. （车辆的）牌照 [网络] 号码牌；车牌；车号牌
- grungy adj. 低劣的；丑的；蹩脚的；脏的
- shortly adv. 立刻；简短地；唐突地
- rocketship 火箭宇宙飞船
- corked adj. 带木塞气味的；用瓶塞塞住的 v. 用软木塞塞住（cork的过去分词）
- extrinsic adj. 外在的；外来的；非固有的
- riotously adv. 暴乱地；骚动地；放纵地
- quarrelsome adj. 喜欢吵架的；好争论的
- circumnavigation n. 世界一周旅行；周游世界
- dendritic adj. 树枝状的；树状的
- magma n. [地质] 岩浆；糊剂 n. (Magma)人名；(英)马格马
- biomolecular 生物分子的
- sandhill n. 沙丘鹤（一种鸟）；沙丘沙岗
- bandolier n. 子弹带，弹药带
- guarantor n. [金融] 保证人
- treacherously adv. 背叛地；危险地；靠不住地
- usurpation n. 篡夺；夺取
考试词汇表
- shape cutting machine
- shape function matrix
- shape memory ceramics
- shape of screw shafts
- shape of the material
- shape of the root cap
- shape optical surface
- shape or construction
- shape-cutting machine
- shaped dish reflector
- shaped dual reflector
- shaped graphite brick
- shaped grinding wheel
- shaping by generating
- shaping deconvoiution
- shaping deconvolution
- shaping time constant
- share a common tongue
- share and share alike
- share losses expenses
